pre {
    background-color: #EEEEEE;
    min-height: 5em;
    max-height: 50em;
    overflow-y: scroll;
}

#command {
    min-width: 50ex;
}
